There is, in some quarters, concern about high–level machine intelligence and superintelligent AI coming up in a few decades, bringing with it significant risks for humanity. In other quarters, these issues are ignored or considered science fiction. We wanted to clarify what the distribution of opinions actually is, what probability the best experts currently assign to high–level machine intelligence coming up within a particular time–frame, which risks they see with that development, and how fast they see these developing. We thus (...) designed a brief questionnaire and distributed it to four groups of experts in 2012/2013. The median estimate of respondents was for a one in two chance that high-level machine intelligence will be developed around 2040-2050, rising to a nine in ten chance by 2075. Experts expect that systems will move on to superintelligence in less than 30 years thereafter. They estimate the chance is about one in three that this development turns out to be ‘bad’ or ‘extremely bad’ for humanity. (shrink)

What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative is by (...) far more popular, but I argue in favor of the latter, for (i) it does not suffer from a number of serious objections, and (ii) it makes it possible to restore global validity as a defined notion. (shrink)

I focus on three mereological principles: the Extensionality of Parthood (EP), the Uniqueness of Composition (UC), and the Extensionality of Composition (EC). These principles are not equivalent. Nonetheless, they are closely related (and often equated) as they all reflect the basic nominalistic dictum, No difference without a difference maker. And each one of them—individually or collectively—has been challenged on philosophical grounds. In the first part I argue that such challenges do not quite threaten EP insofar as they are either self-defeating (...) or unsupported. In the second part I argue that they hardly undermine the tenability of EC and UC as well. (shrink)

Will future lethal autonomous weapon systems (LAWS), or ‘killer robots’, be a threat to humanity? The European Parliament has called for a moratorium or ban of LAWS; the ‘Contracting Parties to the Geneva Convention at the United Nations’ are presently discussing such a ban, which is supported by the great majority of writers and campaigners on the issue. However, the main arguments in favour of a ban are unsound. LAWS do not support extrajudicial killings, they do not take responsibility away (...) from humans; in fact they increase the abil-ity to hold humans accountable for war crimes. Using LAWS in war would probably reduce human suffering overall. Finally, the availability of LAWS would probably not increase the probability of war or other lethal conflict—especially as compared to extant remote-controlled weapons. The widespread fear of killer robots is unfounded: They are probably good news. (shrink)

This book aims to develop certain aspects of Gottlob Frege’s theory of meaning, especially those relevant to intensional logic. It offers a new interpretation of the nature of senses, and attempts to devise a logical calculus for the theory of sense and reference that captures as closely as possible the views of the historical Frege. (The approach is contrasted with the less historically-minded Logic of Sense and Denotation of Alonzo Church.) Comparisons of Frege’s theory with those of Russell and others (...) are given. It is in the end shown that developing Frege’s theory in these ways reveals serious problems hitherto largely unnoticed, including those possibly rendering a Fregean intensional logic inconsistent even if his naïve class theory is excluded. (shrink)

I argue that Universalism (the thesis that mereological composition is unrestricted) entails Extensionalism (the thesis that sameness of composition is sufficient for identity) as long as the parthood relation is transitive and satisfies the Weak Supplementation principle (to the effect that whenever a thing has a proper part, it has another part disjoint from the first).

The philosophy of AI has seen some changes, in particular: 1) AI moves away from cognitive science, and 2) the long term risks of AI now appear to be a worthy concern. In this context, the classical central concerns – such as the relation of cognition and computation, embodiment, intelligence & rationality, and information – will regain urgency.

One logic or many? I say—many. Or rather, I say there is one logic for each way of specifying the class of all possible circumstances, or models, i.e., all ways of interpreting a given language. But because there is no unique way of doing this, I say there is no unique logic except in a relative sense. Indeed, given any two competing logical theories T1 and T2 (in the same language) one could always consider their common core, T, and settle (...) on that theory. So, given any language L, one could settle on the minimal logic T0 corresponding to the common core shared by all competitors. That would be a way of resisting relativism, as long as one is willing to redraw the bounds of logic accordingly. However, such a minimal theory T0 may be empty if the syntax of L contains no special ingredients the interpretation of which is independent of the specification of the relevant L-models. And generally—I argue—this is indeed the case. (shrink)

One finds, in Maxwell's writings on thermodynamics and statistical physics, a conception of the nature of these subjects that differs in interesting ways from the way that they are usually conceived. In particular, though—in agreement with the currently accepted view—Maxwell maintains that the second law of thermodynamics, as originally conceived, cannot be strictly true, the replacement he proposes is different from the version accepted by most physicists today. The modification of the second law accepted by most physicists is a probabilistic (...) one: although statistical fluctuations will result in occasional spontaneous differences in temperature or pressure, there is no way to predictably and reliably harness these to produce large violations of the original version of the second law. Maxwell advocates a version of the second law that is strictly weaker; the validity of even this probabilistic version is of limited scope, limited to situations in which we are dealing with large numbers of molecules en masse and have no ability to manipulate individual molecules. Connected with this is his concept of the thermodynamic concepts of heat, work, and entropy; on the Maxwellian view, these are concepts that must be relativized to the means we have available for gathering information about and manipulating physical systems. The Maxwellian view is one that deserves serious consideration in discussions of the foundation of statistical mechanics. It has relevance for the project of recovering thermodynamics from statistical mechanics because, in such a project, it matters which version of the second law we are trying to recover. (shrink)

Neo-Humean instrumentalists hold that anagent's reasons for acting are grounded in theagent's desires. Numerous objections have beenleveled against this view, but the mostcompelling concerns the problem of ``aliendesires'' – desires with which the agent doesnot identify. The standard version ofneo-Humeanism holds that these desires, likeany others, generate reasons for acting. Avariant of neo-Humeanism that grounds anagent's reasons on her values, rather than allof her desires, avoids this implication, but atthe cost of denying that we have reasons to acton innocent whims. (...) A version of neo-Humeanismthat holds that an agent has reason to satisfyall of her desires that are not in conflictwith her values appears to allow us to grantthe reason-giving force of innocent whims whiledenying the reason-giving force of alien desires. (shrink)

In common with traditional forms of epistemic internalism, epistemological disjunctivism attempts to incorporate an awareness condition on justification. Unlike traditional forms of internalism, however, epistemological disjunctivism rejects the so-called New Evil Genius thesis. In so far as epistemological disjunctivism rejects the New Evil Genius thesis, it is revisionary. -/- After explaining what epistemological disjunctivism is, and how it relates to traditional forms of epistemic internalism / externalism, I shall argue that the epistemological disjunctivist’s account of the intuitions underlying the New (...) Evil Genius thought experiment is at best incomplete. As presented, therefore, epistemological disjunctivism is unable to accommodate the core guiding intuitions of epistemic internalism. Given the stated aim of not being revisionary on this score, the view is at a dialectical disadvantage over the traditional forms of epistemic internalism the position is meant to replace. Unfortunately, therefore, at present, the impasse between internalism and externalism remains. (shrink)

In the first section, I characterize skeptical theism more fully. This is necessary in order to address some important misconceptions and mischaracterizations that appear in the essays by Maitzen, Wilks, and O’Connor. In the second section, I describe the most important objections they raise and group them into four “families” so as to facilitate an orderly series of responses. In the four sections that follow, I respond to the objections.

In his latest book, Michael Devitt rejects Chomsky’s mentalist conception of linguistics. The case against Chomsky is based on two principal claims. First, that we can separate the study of linguistic competence from the study of its outputs: only the latter belongs to linguistic inquiry. Second, Chomsky’s account of a speaker’s competence as consisiting in the mental representation of rules of a grammar for his language is mistaken. I shall argue, first, that Devitt fails to make a case for separating (...) the study of outputs from the study of competence, and second, that Devitt mis-characterises Chomsky’s account of competence, and so his objections miss their target. Chomsky’s own views come close to a denial that speaker’s have knowledge of their language. But a satisfactory account of what speakers are able to do will need to ascribe them linguistic knowledge that they use to speak and understand. I shall explore a conception of speaker’s knowledge of language that confirrns Chomsky’s mentalist view of linguistics but which is immune to Devitt’s criticism. (shrink)

The theory that all processes in the universe are computational is attractive in its promise to provide an understandable theory of everything. I want to suggest here that this pancomputationalism is not sufficiently clear on which problem it is trying to solve, and how. I propose two interpretations of pancomputationalism as a theory: I) the world is a computer and II) the world can be described as a computer. The first implies a thesis of supervenience of the physical over computation (...) and is thus reduced ad absurdum. The second is underdetermined by the world, and thus equally unsuccessful as theory. Finally, I suggest that pancomputationalism as metaphor can be useful. – At the Paderborn workshop in 2008, this paper was presented as a commentary to the relevant paper by Gordana Dodig-Crnkovic " Info-Computationalism and Philosophical Aspects of Research in Information Sciences". (shrink)

Cognition is commonly taken to be computational manipulation of representations. These representations are assumed to be digital, but it is not usually specified what that means and what relevance it has for the theory. I propose a specification for being a digital state in a digital system, especially a digital computational system. The specification shows that identification of digital states requires functional directedness, either for someone or for the system of which it is a part. In the case or digital (...) representations, to be a token of a representational type, where the function of the type is to represent. [An earlier version of this paper was discussed in the web-conference "Interdisciplines" https://web.archive.org/web/20100221125700/http://www.interdisciplines.org/adaptation/papers/7 ]. (shrink)

On the face of it, Maurice Merleau-Ponty’s views bear a strong resemblance to contemporary disjunctivist theories of perception, especially John McDowell’s epistemological disjunctivism. Like McDowell (and other disjunctivists), Merleau-Ponty seems to be a direct realist about perception and holds that veridical and illusory perceptions are distinct. This paper furthers this comparison. Furthermore, it is argued that elements of Merleau-Ponty’s thought provide a stronger case for McDowell’s kind of epistemological view than McDowell himself provides. Merleau-Ponty’s early thought can be used to (...) develop a unique version of epistemological disjunctivism that is worth consideration alongside contemporary views on perceptual knowledge. (shrink)

It is not a particularly hard thing to want or seek explanations. In fact, explanations seem to be a large and natural part of our cognitive lives. Children ask why and how questions very early in development and seem genuinely to want some sort of answer, despite our often being poorly equipped to provide them at the appropriate level of sophistication and detail. We seek and receive explanations in every sphere of our adult lives, whether it be to understand why (...) a friendship has foundered, why a car will not start, or why ice expands when it freezes. Moreover, correctly or incorrectly, most of the time we think we know when we have or have not received a good explanation. There is a sense both that a given, successful explanation satisfies a cognitive need, and that a questionable or dubious explanation does not. There are also compelling intuitions about what make good explanations in terms of their form, that is, a sense of when they are structured correctly. (shrink)

In this introduction, before summarizing the contents of the volume, the authors characterize materialism as it is understood within the philosophy of mind, and they identify three respects in which materialism is on the wane.

Intersectionality has become the primary analytic tool that feminist and anti-racist scholars deploy for theorizing identity and oppression. This paper exposes and critically interrogates the assumptions underpinning intersectionality by focusing on four tensions within intersectionality scholarship: the lack of a defined intersectional methodology; the use of black women as quintessential intersectional subjects; the vague definition of intersectionality; and the empirical validity of intersectionality. Ultimately, my project does not seek to undermine intersectionality; instead, I encourage both feminist and anti-racist scholars to (...) grapple with intersectionality's theoretical, political, and methodological murkiness to construct a more complex way of theorizing identity and oppression. (shrink)

The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and control (...) the process of deduction in inquiry, i.e., they are prescriptive for the use of language and thought in inquiry, I argue that logic may, and should, be seen as an instrument or as a way of proceeding (modus procedendi) in inquiry. (shrink)

This is the editorial for a special volume of JETAI, featuring papers by Omohundro, Armstrong/Sotala/O’Heigeartaigh, T Goertzel, Brundage, Yampolskiy, B. Goertzel, Potapov/Rodinov, Kornai and Sandberg. - If the general intelligence of artificial systems were to surpass that of humans significantly, this would constitute a significant risk for humanity – so even if we estimate the probability of this event to be fairly low, it is necessary to think about it now. We need to estimate what progress we can expect, what (...) the impact of superintelligent machines might be, how we might design safe and controllable systems, and whether there are directions of research that should best be avoided or strengthened. (shrink)

We rely on language to know the minds of others, but does language have a role to play in knowing our own minds? To suppose it does is to look for a connection between mastery of a language and the epistemic relation we bear to our inner lives. What could such a connection consist in? To explore this, I shall examine strategies for explaining self-knowledge in terms of the use we make of language to express and report our mental states. (...) Success in these strategies will depend on the view we take of speakers' understanding of the words they use to speak their minds. The key is to avoid circularity in the account of how they know what they mean; for if knowing what one is saying in speaking a language provides a means of knowing one's own mind, it cannot simply be a part of it. I shall look at ways in which we might proceed here, and examine whether the strategy can make room for a genuinely first-person point of view. But first let me try to motivate the problem of self-knowledge. (shrink)

Current challenges in medical practice, research, and administration demand physicians who are familiar with bioethics, health law, and health economics. Curriculum directors at American Association of Medical Colleges-affiliated medical schools were sent confidential surveys requesting the number of required hours of the above subjects and the years in which they were taught, as well as instructor names. The number of relevant publications since 1990 for each named instructor was assessed by a PubMed search.In sum, teaching in all three subjects combined (...) comprises less than two percent of the total hours in the American medical curriculum, and most instructors have not recently published articles in the fields they teach. This suggests that medical schools should reevaluate their curricula and instructors in bioethics, health law, and health economics. (shrink)

There is much discussion about whether the human mind is a computer, whether the human brain could be emulated on a computer, and whether at all physical entities are computers (pancomputationalism). These discussions, and others, require criteria for what is digital. I propose that a state is digital if and only if it is a token of a type that serves a particular function - typically a representational function for the system. This proposal is made on a syntactic level, assuming (...) three levels of description (physical, syntactic, semantic). It suggests that being digital is a matter of discovery or rather a matter of how we wish to describe the world, if a functional description can be assumed. Given the criterion provided and the necessary empirical research, we should be in a position to decide on a given system (e.g. the human brain) whether it is a digital system and can thus be reproduced in a different digital system (since digital systems allow multiple realization). (shrink)

Since the 1960s, metaphysics has flourished in Anglo-American philosophy. Far from wanting to avoid metaphysics, philosophers have embraced it in droves. There have been critics, to be sure; but the criticisms have received answers and the enterprise has carried on.

Engineers fine-tune the design of robot bodies for control purposes, however, a methodology or set of tools is largely absent, and optimization of morphology (shape, material properties of robot bodies, etc.) is lagging behind the development of controllers. This has become even more prominent with the advent of compliant, deformable or ”soft” bodies. These carry substantial potential regarding their exploitation for control—sometimes referred to as ”morphological computation”. In this article, we briefly review different notions of computation by physical systems and (...) propose the dynamical systems framework as the most useful in the context of describing and eventually designing the interactions of controllers and bodies. Then, we look at the pros and cons of simple vs. complex bodies, critically reviewing the attractive notion of ”soft” bodies automatically taking over control tasks. We address another key dimension of the design space—whether model-based control should be used and to what extent it is feasible to develop faithful models for different morphologies. (shrink)

I see four symbol grounding problems: 1) How can a purely computational mind acquire meaningful symbols? 2) How can we get a computational robot to show the right linguistic behavior? These two are misleading. I suggest an 'easy' and a 'hard' problem: 3) How can we explain and re-produce the behavioral ability and function of meaning in artificial computational agents?4) How does physics give rise to meaning?

If the intelligence of artificial systems were to surpass that of humans significantly, this would constitute a significant risk for humanity. Time has come to consider these issues, and this consideration must include progress in AI as much as insights from the theory of AI. The papers in this volume try to make cautious headway in setting the problem, evaluating predictions on the future of AI, proposing ways to ensure that AI systems will be beneficial to humans – and critically (...) evaluating such proposals. (shrink)

The paper discusses the extended mind thesis with a view to the notions of “agent” and of “mind”, while helping to clarify the relation between “embodiment” and the “extended mind”. I will suggest that the extended mind thesis constitutes a reductio ad absurdum of the notion of ‘mind’; the consequence of the extended mind debate should be to drop the notion of the mind altogether – rather than entering the discussion how extended it is.

The declared goal of this paper is to fill this gap: “... cognitive systems research needs questions or challenges that define progress. The challenges are not (yet more) predictions of the future, but a guideline to what are the aims and what would constitute progress.” – the quotation being from the project description of EUCogII, the project for the European Network for Cognitive Systems within which this formulation of the ‘challenges’ was originally developed (http://www.eucognition.org). So, we stick out our neck (...) and formulate the challenges for artificial cognitive systems. These challenges are articulated in terms of a definition of what a cognitive system is: a system that learns from experience and uses its acquired knowledge (both declarative and practical) in a flexible manner to achieve its own goals. (shrink)

The semantics of our event talk is a complex affair. What is it that we are talking about when we speak of Brutus’s stabbing of Caesar? Exactly where and when did it take place? Was it the same event as the killing of Caesar? Some take questions such as these to be metaphysical questions. I think they are questions of semantics—questions about the way we talk and about what we mean. And I think that this conflict between metaphysic and semantic (...) concerns is indicative of a “deep indeterminacy” (Bennett’s phrase) in our event concept. We do talk about events; but what events a statement is about is not something that can be inferred from the event names we use; it depends heavily (more heavily than with ordinary material objects) on local context and unprincipled intuitions. This paper illustrates this view in connection with two examples: the phenomenon of vagueness and the dispute over identity statements. (shrink)

In 1903, in _The Principles of Mathematics_ (_PoM_), Russell endorsed an account of classes whereupon a class fundamentally is to be considered many things, and not one, and used this thesis to explicate his first version of a theory of types, adding that it formed the logical justification for the grammatical distinction between singular and plural. The view, however, was short-lived; rejected before _PoM_ even appeared in print. However, aside from mentions of a few misgivings, there is little evidence about (...) why he abandoned this view. In this paper, I speculate as to what those reasons were, and evaluate them in light of recent work and interest in plural logic. (shrink)

Ordinary reasoning about space—we argue—is first and foremost reasoning about things or events located in space. Accordingly, any theory concerned with the construction of a general model of our spatial competence must be grounded on a general account of the sort of entities that may enter into the scope of the theory. Moreover, on the methodological side the emphasis on spatial entities (as opposed to purely geometrical items such as points or regions) calls for a reexamination of the conceptual categories (...) required for this task. Building on material presented in an earlier paper, in this work we offer some examples of what this amounts to, of the difficulties involved, and of the main directions along which spatial theories should be developed so as to combine formal sophistication with some affinity with common sense. (shrink)

Sequel to Part I. In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions and equivalence classes of coextensional properties. Part II addresses Russell’s own various attempts to solve these paradoxes, (...) including strategies that he considered and rejected (limitation of size, the zigzag theory, etc.), as well as his own final views whereupon many purported entities that, if reified, lead to these contradictions, must not be genuine entities, but ‘logical fictions’ or ‘logical constructions’ instead. (shrink)

How does an engagement with religious traditions (broadly construed) illuminate and complicate the task of thinking through the ethics of eating? In this introduction, we survey some of the many food ethical issues that arise within various religious traditions and also consider some ethical positions that such traditions take on food. To say the least, we do not attempt to address all the ethical issues concerning food that arise in religious contexts, nor do we attempt to cover every tradition’s take (...) on food. We look at just a few traditions and a few interesting writings on food ethics and religion: What do they say about the ethics of eating? Why do they say these things? Here we use the terms “food ethics” and “religion” ecumenically as big tents under which many importantly different sorts of things may be grouped. Among the wide range of food ethical issues we consider in this chapter, for example, are religious views about the ethics of keeping, hurting, and killing animals, killing plants, dominion over creation, wastefulness, purity, blessing, atonement, and the connection between food and character. We realize, moreover, that it might be a stretch to label some of the views engaged by selected readings in this chapter as “religious” on a stringent understanding of that term; Lisa Kemmerer’s “Indigenous Traditions,” for instance, addresses some views that are recognizably spiritual but perhaps not religious in a strict sense. We hope that our ecumenical usage of the term can bring these important traditions to bear on the discussion without reducing them to something they are not. (shrink)

In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions, and equivalence classes of coextensional properties. Part I focuses on Cantor’s theorem, its proof, how it can be used to manufacture (...) paradoxes, Frege’s diagnosis of the core difficulty, and several broad categories of strategies for offering solutions to these paradoxes. (shrink)

Attempts to evaluate a belief or argument on the basis of its cause or origin are usually condemned as committing the genetic fallacy. However, I sketch a number of cases in which causal or historical factors are logically relevant to evaluating a belief, including an interesting abductive form that reasons from the best explanation for the existence of a belief to its likely truth. Such arguments are also susceptible to refutation by genetic reasoning that may come very close to the (...) standard examples given of supposedly fallacious genetic reasoning. (shrink)

The paper presents a paradoxical feature of computational systems that suggests that computationalism cannot explain symbol grounding. If the mind is a digital computer, as computationalism claims, then it can be computing either over meaningful symbols or over meaningless symbols. If it is computing over meaningful symbols its functioning presupposes the existence of meaningful symbols in the system, i.e. it implies semantic nativism. If the mind is computing over meaningless symbols, no intentional cognitive processes are available prior to symbol grounding. (...) In this case, no symbol grounding could take place since any grounding presupposes intentional cognitive processes. So, whether computing in the mind is over meaningless or over meaningful symbols, computationalism implies semantic nativism. (shrink)

While the 2010 EPSRC principles for robotics state a set of 5 rules of what ‘should’ be done, I argue they should differentiate between legal obligations and ethical demands. Only if we make this difference can we state clearly what the legal obligations already are, and what additional ethical demands we want to make. I provide suggestions how to revise the rules in this light and how to make them more structured.

I trace changes to Frege's understanding of numbers, arguing in particular that the view of arithmetic based in geometry developed at the end of his life (1924–1925) was not as radical a deviation from his views during the logicist period as some have suggested. Indeed, by looking at his earlier views regarding the connection between numbers and second-level concepts, his understanding of extensions of concepts, and the changes to his views, firstly, in between Grundlagen and Grundgesetze, and, later, after learning (...) of Russell's paradox, this position is a natural position for him to have retreated to, when properly understood. (shrink)

This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis’), it discusses proposals for digital hypercomputing with Zeno-machines , i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either they are specified such (...) that they do not have output states, or they are specified such that they do have output states, but involve contradiction. Repairs though non-effective methods or special rules for semi-decidable problems are sought, but not found. The paper concludes that hypercomputing supertasks are impossible in the actual world and thus no reason for rejection of the Church-Turing thesis in its traditional interpretation. (shrink)

The thesis of this paper is that utopianism is a theoretical necessity—we couldn’t, for example, engage in normative political philosophy without it—and, further, that in consciously embracing utopianism we will consequently experience an enrichment of our political lives. Thus, the title of my paper has a double meaning: it highlights the fact that utopianism always plays a normative role in political philosophy, as its concern is inevitably the promotion of a certain vision of the good life; and secondly it suggests (...) that there normatively ‘ought to be’ a recognized and respectable role for utopianism within political philosophy. The first meaning, I believe, is self-explanatory. Regarding the second, it expresses my hope to— in short— take what is old, and through a modest process of rehabilitation, make it new again. (shrink)

Tailoring the design of robot bodies for control purposes is implicitly performed by engineers, however, a methodology or set of tools is largely absent and optimization of morphology (shape, material properties of robot bodies, etc.) is lag- ging behind the development of controllers. This has become even more prominent with the advent of compliant, deformable or "soft" bodies. These carry substantial potential regarding their exploitation for control – sometimes referred to as "mor- phological computation" in the sense of offloading computation (...) needed for control to the body. Here, we will argue in favor of a dynamical systems rather than com- putational perspective on the problem. Then, we will look at the pros and cons of simple vs. complex bodies, critically reviewing the attractive notion of “soft” bodies automatically taking over control tasks. We will address another key dimension of the design space – whether model-based control should be used and to what extent it is feasible to develop faithful models for different morphologies. ----- This paper was also published in the 2014 AISB proceedings http://aisb50.org/representation-of-reality-humans-animals-and-machines/ - http://doc.gold.ac.uk/aisb50/. (shrink)

Abstract: According to certain dispositional accounts of meaning, an agent's meaning is determined by the dispositions that an idealized version of this agent has in optimal conditions. We argue that such attempts cannot properly fix meaning. For even if there is a way to determine which features of an agent should be idealized without appealing to what the agent means, there is no non-circular way to determine how those features should be idealized. We sketch an alternative dispositional account that avoids (...) this problem, according to which an agent's meaning is determined by the dispositions that an abstract version of this agent has in optimal conditions. (shrink)

One of the most historically recent and damaging blows to the reputation of utopianism came from its association with the totalitarian regimes of Hitler’s Third Reich and Mussolini’s Fascist party in World War II and the prewar era. Being an apologist for utopianism, it seemed to some, was tantamount to being an apologist for Nazism and all of its concomitant horrors. The fantasy principle of utopia was viewed as irretrievably bound up with the irrationalism of modern dictatorship. While these conclusions (...) are somewhat understandable given the broad strokes that definitions of utopia are typically painted with, I will show in this paper that the link between the mythos of fascism and the constructs of utopianism results from an unfortunate conflation at the theoretical level. The irrationalism of any mass ethos and the rationalism of the thoughtful utopian planner are, indeed, completely at odds with each other. I arrive at this conclusion via an analysis of the concepts of myth and narrative, and the relationships these have with the concept of utopia. (shrink)

Thomas Hill famously argued that what really bothers us about environmental degradation is best discovered by asking “What kind of person would do such a thing?” Beliefs, some of which are blameworthy, are among the things that define what kind of person one is. What we care about is reflected in whether one’s epistemic practices align with one’s core moral convictions and common standards of decency. Our moral sensitivities are reflected in what we attend to and reflect upon. What we (...) do not notice can be a result of culpable indifference or self-deception. Environmental beliefs formed with negligent disregard for the risks they create for others are reflections of a vicious moral character. Beliefs of citizens have consequences. They determine what politicians will respond to and what policies they will introduce. Ideological commitments have been shown to influence what one takes to be the facts about risks. When the ethical dimensions of environmental beliefs and ignorance are unchallenged society drifts morally. Emphasizing the relationship between commonly shared moral convictions (more basic than ideological commitments) and risky environmental beliefs and actions has more potential to create environmental awareness than the current focus on environmental science and the economic benefits of better environmental policies. (shrink)